Sequential logic - PDFSEARCH.IO - Document Search Engine

Sequential logic
Results: 80

#	Item
61	PDF Document Add to Reading List Source URL: somnuek.rmutl.ac.th Language: English - Date: 2011-05-31 23:31:36 Theoretical computer science Automata theory Logic gates Computer memory Sequential logic Flip-flop Thai alphabet Function Electronics Digital electronics Mathematics Models of computation
62	SWAMI RAMANAND TEERTH MARATHWADA UNIVERSITY, Add to Reading List Source URL: www.cocsit.org.in Language: English - Date: 2013-10-02 14:23:06 Electronics Computer memory Telecommunications engineering Operating system Flip-flop Sequential logic Distributed computing Bit Microprocessor Electronic engineering Digital electronics Computer hardware
63	The ‘Asynchronous’ Bibliography B IB TEX database file async.bib Ad Peeters May 5, 2004 References Add to Reading List Source URL: www.win.tue.nl Language: English - Date: 2004-05-05 05:12:10 Electromagnetism Asynchronous system Asynchronous circuit Arbiter Sequential logic Delay insensitive circuit Robert Drost Kwabena Boahen Electrical circuits Electronic engineering Electrical engineering
64	Expanded Final Report Decomposing digital-system specifications into interacting sequential processes Grant Number: MIP[removed], [removed]–[removed]Principal Investigator: Steven D. Johnson Computer Science Department In Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2001-09-19 16:36:05 Science Logic in computer science Automated theorem proving Reasoning Formal verification Computer science Reasoning system Hardware description language Communications protocol Formal methods Artificial intelligence Theoretical computer science
65	Authors’ accepted version for publication in Formal Aspects of Computing The final publication is available at springerlink.com The Behavioural Semantics of Event-B Refinement Steve Schneider1 , Helen Treharne1 , Heike Add to Reading List Source URL: www.computing.surrey.ac.uk Language: English - Date: 2014-04-07 11:14:04 Process calculi Denotational semantics Concurrent computing Communicating sequential processes Formal methods Philosophical logic Predicate transformer semantics Divergence Trace Mathematics Computing Theoretical computer science
66	The Modelling and Analysis of Security Protocols: the CSP Approach P.Y.A. Ryan, S.A. Schneider, M.H. Goldsmith, G. Lowe and A.W. Roscoe Add to Reading List Source URL: www.computing.surrey.ac.uk Language: English - Date: 2010-12-15 14:57:33 Information Communicating sequential processes Communications protocol Cryptographic primitive Public-key cryptography Model checking Yahalom Burrows–Abadi–Needham logic Protocol Cryptographic protocols Cryptography Data
67	Verication and Optimization of a PLC Control Schedule Ed Brinksma1 and Angelika Mader2 ? Faculty of Computer Science, University of Twente Computer Science Department, University of Nijmegen 1 Add to Reading List Source URL: spinroot.com Language: English - Date: 2008-06-30 15:34:28 Sequential function chart Instruction list Technology Promela Programmable logic controller
68	Verification of Scheme Plans using CSP\|\|B Philip James1 , Faron Moller1 , Hoang Nga Nguyen3 , Markus Roggenbach1 , Steve Schneider2 , Helen Treharne2 , Matthew Trumble2 , and David Williams4 1 Swansea University, UK Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2013-11-29 11:10:29 Communicating sequential processes Workflow technology Mind Railway signalling Logic in computer science Ethology Model checking Workflow Interlocking Concurrent computing Computing Process calculi
69	A Sequential Model of Computation for First-Order Logic Steven Lindell Haverford College[removed]SUMMARY: Problems computable in constant time on a uniform parallel model of computation (a type of PRAM) have been elegantly Add to Reading List Source URL: www.haverford.edu Language: English - Date: 2012-03-28 11:42:30 Computability theory Formal methods Models of computation Theory of computation Algorithm FO Turing machine Lookup table Computability Theoretical computer science Applied mathematics Mathematics
70	FORMALIZATION AND VERIFICATION OF SHARED MEMORY Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2005-01-05 10:38:15 Theoretical computer science Concurrent computing Formal methods Consistency model Transaction processing Sequential consistency Actor model Parallel computing Formal verification Computing Data Logic in computer science

UPDATE